Π11-comprehension as a well-ordering principle
نویسندگان
چکیده
منابع مشابه
Cluster coverings as an ordering principle for quasicrystals
Cluster density maximization and (maximal) cluster covering have emerged as ordering principles for quasicrystalline structures. The concepts behind these ordering principles are reviewed and illustrated with several examples. For two examples, Gummelt’s aperiodic decagon model and a cluster model for octagonal Mn–Si–Al quasicrystals, these ordering principles can enforce perfectly ordered, qua...
متن کاملThe Axiom of Choice, the Well Ordering Principle and Zorn’s Lemma
In this note we prove the equivalence between the axiom of choice, the well ordering principle and Zorn’s lemma, and discuss to some extent how large fragment of ZF we need in order to prove the individual implications.
متن کاملwell-ordering of the reals
Assuming an inaccessible cardinal κ, there is a generic extension in which MA+ 20 = κ holds and the reals have a ∆1 well-ordering.
متن کاملSubgraphs and well-quasi-ordering
Let % be a class of graphs and let i be the subgraph or the induced subgraph relation. We call % an idea/ (with respect to I) if G I G' E % implies that G E %. In this paper, we study the ideals that are well-quasiordered by I. The following are our main results. If 5 is the subgraph relation, we characterize the well-quasi-ordered ideals in terms of excluding subgraphs. If I is the induced sub...
متن کاملA The Ordering Principle in a Fragment of Approximate Counting
The ordering principle states that every finite linear order has a least element. We show that, in the relativized setting, the surjective weak pigeonhole principle for polynomial time functions does not prove a Herbrandized version of the ordering principle over T 2 . This answers an open question raised in [Buss, Ko lodziejczyk and Thapen, 2012] and completes their program to compare the stre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2019
ISSN: 0001-8708
DOI: 10.1016/j.aim.2019.106767